Improved limitedness theorems on finite automata with distance functions
نویسندگان
چکیده
منابع مشابه
Limitedness Theorem on Finite Automata with Distance Functions: An Algebraic Proof
A finite automaton .d with a distance function d is a sextuple, (C, Q, M, S, F, d), such that C is the input alphabet, Q is the finite set of states, M: Q x C -+ 2Q is the transition function, S c Q and F c Q are the sets of initial and final states, respectively, d: Q x C x Q -+ (0, 1, co } is the distance function, where co denotes infinity, and d satisfies the following: for any (q,a,q’)E Q ...
متن کاملThe limitedness problem on distance automata: Hashiguchi's method revisited
Hashiguchi has studied the limitedness problem of distance automata (DA) in a series of paper ([3], [6] and [7]). The distance of a DA can be limited or unbounded. Given that the distance of a DA is limited, Hashiguchi has proved in [7] that the distance of the automaton is bounded by 2 3+n , where n is the number of states. In this paper, we study again Hashiguchi’s solution to the limitedness...
متن کاملFinite Tree Automata with Cost Functions
Cost functions for tree automata are mappings from transitions to (tuples o0 polynomials over some semiring. We consider four semirings, namely N the semiring of nonnegative integers, A the "arctical semiring", T the tropical semiring and F the semiring of finite subsets of nonnegative integers. We show: for semirings N and A it is decidable in polynomial time whether or not the costs of accept...
متن کاملImproved Heterogeneous Distance Functions
Instance-based learning techniques typically handle continuous and linear input values well, but often do not handle nominal input attributes appropriately. The Value Difference Metric (VDM) was designed to find reasonable distance values between nominal attribute values, but it largely ignores continuous attributes, requiring discretization to map continuous values into nominal values. This pa...
متن کاملFixed Points Theorems with respect to \fuzzy w-distance
In this paper, we shall introduce the fuzzyw-distance, then prove a common fixed point theorem with respectto fuzzy w-distance for two mappings under the condition ofweakly compatible in complete fuzzy metric spaces.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1990
ISSN: 0304-3975
DOI: 10.1016/0304-3975(90)90044-i